finite-memory automation

См. также в других словарях:

• History of computing hardware — Computing hardware is a platform for information processing (block diagram) The history of computing hardware is the record of the ongoing effort to make computer hardware faster, cheaper, and capable of storing more data. Computing hardware… …   Wikipedia

• List of computing and IT abbreviations — This is a list of computing and IT acronyms and abbreviations. Contents: 0–9 A B C D E F G H I J K L M N O P Q R S T U V W X Y …   Wikipedia

• Switch-technology — is a technology for automata based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata based programming” is… …   Wikipedia

• Electromagnetic field solver — Electromagnetic field solvers (or sometimes just field solvers) are specialized programs that solve (a subset of) Maxwell s equations directly. They form a part of the field of electronic design automation, or EDA, and are commonly used in the… …   Wikipedia

• Automata-based programming (Shalyto's approach) — Automata Based Programming is a programming technology [1] . Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of a state machines are used in all stages of software development… …   Wikipedia

• Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

• Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… …   Wikipedia

• Border Gateway Protocol — BGP redirects here. For the Formula One Team, see Brawn GP. The Border Gateway Protocol (BGP) is the protocol backing the core routing decisions on the Internet. It maintains a table of IP networks or prefixes which designate network reachability …   Wikipedia

• P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… …   Wikipedia

• Hendrik Wade Bode — Infobox Scientist name = Hendrik Wade Bode image width = 162 caption = Hendrik Wade Bode birth date = birth date|1905|12|24|df=y death date = death date and age|1982|6|21|1905|12|24|df=y birth place = Madison, Wisconsin death place = Cambridge,… …   Wikipedia

• Cognitive load — The term cognitive load is used in cognitive psychology to illustrate the load related to the executive control of working memory (WM). Theories contend that during complex learning activities the amount of information and interactions that must… …   Wikipedia